Skip to content

Conversation

scarf005
Copy link
Contributor

@Philippus Philippus merged commit c808a69 into scala:main Sep 30, 2024
1 check failed
@Philippus
Copy link
Member

Thanks!

@scarf005 scarf005 deleted the patch-1 branch September 30, 2024 16:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants